Roadmap of Infinite Results
نویسنده
چکیده
This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/∼srba/roadmap.
منابع مشابه
Gap Navigation Trees for Discovering Unknown Environments
We propose a motion planning gap-based algorithms for mobile robots in an unknown environment for exploration purposes. The results are locally optimal and sufficient to navigate and explore the environment. In contrast with the traditional roadmap-based algorithms, our proposed algorithm is designed to use minimal sensory data instead of costly ones. Therefore, we adopt a dynamic data structur...
متن کاملAn essay on accessing the brownfields redevelopment roadmap appropriate with Iran\'s condition
The concept of redevelopment is accompanied by actions and forecasts to improve the quality of the physical-spatial environment inthe cities, that is by the emergence of new facilities and conditions, improving the spatial environment is achieved. This requirement occurs when the coherence, coordination and the performance of the urban area is diminishing and is not responsive to the requiremen...
متن کاملTechnology Roadmap Prioritization in Acquisition Layer with Ranking Options of Market Layer: A Case Study
Roadmap is a strategic plan that describes the steps an organization needs to take to achieve stated outcomes and goals in different layers and these layers are closely related to each other. Lower layer are more important in planning processes. Acquisition layer is one of the most crucial layers in road mapping process. Today there are some international organizations that do policy making and...
متن کاملSparse roadmap spanners for asymptotically near-optimal motion planning
Asymptotically optimal planners, such as PRM∗, guarantee that solutions approach optimal as the number of iterations increases. Roadmaps with this property, however, may grow too large for storing on resource-constrained robots and for achieving efficient online query resolution. By relaxing optimality, asymptotically near-optimal planners produce sparser graphs by not including all edges. The ...
متن کاملScience and technology roadmapping in AJA University of medical sciences
Background: The great scientific Jihad that has been launched in our country by the order of the Supreme leader primarily requires a roadmap and a strategic plan. According to the significant place for science and technology in the 2025 perspective (20-years national master-plan) for the Iranian armed force (AJA), achieving the highest rank of health and the best scientific reputation in m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of the EATCS
دوره 78 شماره
صفحات -
تاریخ انتشار 2002